Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos
1
In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

Año:
2019
Idioma:
english
Archivo:
PDF, 2.05 MB
0 / 0
english, 2019
2
Debugging at the Electronic System Level

Debugging at the Electronic System Level

Año:
2010
Idioma:
english
Archivo:
PDF, 2.72 MB
0 / 0
english, 2010
3
Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Año:
2017
Idioma:
german
Archivo:
PDF, 2.44 MB
0 / 5.0
german, 2017
4
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Año:
2009
Idioma:
english
Archivo:
PDF, 6.22 MB
0 / 0
english, 2009
5
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

Año:
2003
Idioma:
english
Archivo:
PDF, 14.21 MB
0 / 0
english, 2003
6
Advanced Formal Verification

Advanced Formal Verification

Año:
2004
Idioma:
english
Archivo:
PDF, 4.44 MB
0 / 0
english, 2004
7
Computer - Wie funktionieren Smartphone, Tablet & Co.?

Computer - Wie funktionieren Smartphone, Tablet & Co.?

Año:
2017
Idioma:
german
Archivo:
PDF, 2.44 MB
0 / 0
german, 2017
13
Advanced formal verification

Advanced formal verification

Año:
2004
Idioma:
english
Archivo:
PDF, 2.02 MB
0 / 0
english, 2004
16
Advanced Formal Verification

Advanced Formal Verification

Año:
2004
Idioma:
english
Archivo:
PDF, 4.44 MB
0 / 0
english, 2004
19
Advanced Formal Verification

Advanced Formal Verification

Año:
2004
Idioma:
english
Archivo:
PDF, 4.04 MB
0 / 0
english, 2004
21
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Año:
2021
Idioma:
english
Archivo:
PDF, 4.83 MB
0 / 0
english, 2021
22
Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

Año:
2018
Idioma:
english
Archivo:
PDF, 6.33 MB
0 / 5.0
english, 2018
23
Information Storage: A Multidisciplinary Perspective

Information Storage: A Multidisciplinary Perspective

Año:
2020
Idioma:
english
Archivo:
PDF, 6.62 MB
0 / 0
english, 2020
24
Advanced Logic Synthesis

Advanced Logic Synthesis

Año:
2018
Idioma:
english
Archivo:
PDF, 6.76 MB
0 / 5.0
english, 2018
26
Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Año:
2020
Idioma:
english
Archivo:
PDF, 3.59 MB
5.0 / 5.0
english, 2020
28
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Año:
2015
Idioma:
english
Archivo:
PDF, 7.24 MB
0 / 0
english, 2015
29
Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

Año:
2019
Idioma:
english
Archivo:
PDF, 4.03 MB
0 / 0
english, 2019
30
Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

Año:
2022
Idioma:
english
Archivo:
PDF, 5.57 MB
0 / 0
english, 2022
33
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Año:
2021
Idioma:
english
Archivo:
PDF, 4.83 MB
0 / 0
english, 2021
35
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Año:
2010
Idioma:
english
Archivo:
PDF, 2.70 MB
0 / 0
english, 2010
36
Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Año:
2022
Idioma:
english
Archivo:
PDF, 3.34 MB
0 / 5.0
english, 2022
37
Advanced BDD Optimization

Advanced BDD Optimization

Año:
2005
Idioma:
english
Archivo:
PDF, 3.46 MB
0 / 0
english, 2005
38
In-Memory-Computing: Synthese und Optimierung

In-Memory-Computing: Synthese und Optimierung

Año:
2023
Idioma:
german
Archivo:
PDF, 5.23 MB
0 / 0
german, 2023
41
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

Año:
2018
Idioma:
english
Archivo:
PDF, 6.33 MB
0 / 0
english, 2018
42
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Año:
1998
Idioma:
english
Archivo:
PDF, 4.85 MB
0 / 0
english, 1998
43
Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Año:
2023
Idioma:
english
Archivo:
PDF, 4.19 MB
5.0 / 5.0
english, 2023
44
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Año:
2012
Idioma:
english
Archivo:
PDF, 1.51 MB
0 / 0
english, 2012
45
Formal Verification of Circuits

Formal Verification of Circuits

Año:
2000
Idioma:
english
Archivo:
PDF, 12.73 MB
0 / 0
english, 2000
46
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Año:
1998
Idioma:
english
Archivo:
PDF, 7.56 MB
0 / 0
english, 1998
47
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Año:
2023
Idioma:
english
Archivo:
PDF, 5.40 MB
5.0 / 5.0
english, 2023
48
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Año:
2010
Idioma:
english
Archivo:
PDF, 3.49 MB
0 / 0
english, 2010
49
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Año:
2008
Idioma:
english
Archivo:
PDF, 769 KB
0 / 0
english, 2008
50
Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems

Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems

Año:
2023
Idioma:
english
Archivo:
PDF, 5.51 MB
5.0 / 0
english, 2023